Though the Christian faith has in recent years increasingly shown itself to be a truly African religion, a variety of African authors such as Kä Mana, George Kinoti, Hannah Kinoti, August Shutte and Efoé Julien Penoukou have noted that sub-Saharan Africa is facing a moral crisis. This article explores this crisis in as far as it is caused by difficulties in the reception of the Christian ethic by African Christian communities. It points out that this crisis is visible in double (...) morality, immorality and legalism. It shows that it is both caused by rapid social change in contemporary Africa and by the way the Christian ethic was introduced with a lack of attention for the relationship between worldview and ethics, the social impact of changing cultural practices and the importance of virtue ethics. In this way it also points to the shape Christian moral education for present-day Africa should take. (shrink)

In the post-colonial era, the incarnation has become an important model for cross-cultural missionary presence. Though this model improves on Eurocentric and colonial models, it is deficient because it is unrealistic, potentially paternalistic, inappropriate in the light of globalization and post-modern understandings of culture, and because it doesn’t sufficiently respect the particularity of the incarnation of Christ. This article proposes an alternative model of the role of the cross-cultural missionary as a guest and argues that it is more appropriate on (...) precisely these counts. (shrink)

The science and faith debate is dominated by Western voices. In order to enrich this debate, the authors study the discourses of different groups of Christian academics and master's students in francophone Africa. This article describes the process of reconstructing and analyzing the discourse of a group of master's students from Abidjan (Ivory Coast) with the help of group model building and focus groups. Three characteristic features that emerge from this discourse include the foundational position of faith, the central role (...) of truth, and the ambiguous connotations of the term “science” in this context. The reconstructed discourse is then brought into conversation with the North Atlantic debate, with a special focus on the concept of scientism. (shrink)

Awareness, care and preventative action regarding HIV/aids, and those affected by it, is growing in the evangelical Christian Community in French-speaking Sub-Saharan Africa. Yet, even though the issues seem to be addressed through teaching and preaching in the churches, the real issues, questions and struggles of the people are not discussed. This article describes some of the most important outcomes of a qualitative research in this people group, looking at the values and beliefs around sexuality and community and what impact (...) they have on current HIV/aids prevention practices and strategies. This description highlights the seeming discrepancy between people’s values and their daily lives, the role community can play – as both a community of grace and a countercultural yet contextually relevant community, and the role of leaders, grass-root communities and partnership processes in strategy development. This article argues for a contextual relevant approach in which the specific evangelical worldview is encountered as a possible strength, rather than a problem. (shrink)

The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on finitely complete and cocomplete categories. As an instance of this result, we build the final coalgebra for the powerclass functor, in the context of a Heyting pretopos with a class of small maps. This is then proved to provide models for various non-well-founded set theories, depending on the chosen axiomatisation (...) for the class of small maps. (shrink)

We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...) paper, we will point out some open problems and directions for future research, including some initial results on saturation principles. (shrink)

This is the first in a series of papers on Predicative Algebraic Set Theory, where we lay the necessary groundwork for the subsequent parts, one on realizability [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory II: Realizability, Theoret. Comput. Sci. . Available from: arXiv:0801.2305, 2008], and the other on sheaves [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory III: Sheaf models, 2008 ]. We introduce the notion of a predicative category with small (...) maps and show that it provides a sound and complete semantics for constructive set theories like IZF and CZF. The main technical contribution of this paper is that it shows in detail that such categories can always be conservatively embedded in categories that are exact. These exactness properties play a crucial rôle in showing that predicative categories with small maps contain models of set theory and that they are closed under sheaves and realizability. We will prove the former statement in this paper as well, leaving a proof of the closure properties to the papers on realizability and sheaves as mentioned above. (shrink)

In earlier work we introduced two systems for nonstandard analysis, one based on classical and one based on intuitionistic logic; these systems were conservative extensions of first-order Peano and Heyting arithmetic, respectively. In this paper we study how adding the principle of countable saturation to these systems affects their proof-theoretic strength. We will show that adding countable saturation to our intuitionistic system does not increase its proof-theoretic strength, while adding it to the classical system increases the strength from first- to (...) full second-order arithmetic. (shrink)

We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category EFF. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as such provide a context in which one can interpret many notions from homotopy theory and Homotopy Type Theory. Within the path category EFF one can identify a class of discrete fibrations which is closed under push forward along arbitrary fibrations (in other words, this (...) class is polymorphic or closed under impredicative quantification) and satisfies propositional resizing. This class does not have a univalent representation, but if one restricts to those discrete fibrations whose fibres are propositions in the sense of Homotopy Type Theory, then it does. This means that, modulo the usual coherence problems, it can be seen as a model of the Calculus of Constructions with a univalent type of propositions. We will also build a more complicated path category in which the class of discrete fibrations whose fibres are sets in the sense of Homotopy Type Theory has a univalent representation, which means that this will be a model of the Calculus of Constructions with a univalent type of sets. (shrink)

Using the theory of exact completions, I construct a certain class of pretoposes, consisting of what one might call “predicative realizability toposes”, that can act as categorical models of certain predicative type theories, including Martin-Löf Type Theory.

A nucleus is an operation on the collection of truth values which, like double negation in intuitionistic logic, is monotone, inflationary, idempotent and commutes with conjunction. Any nucleus determines a proof-theoretic translation of intuitionistic logic into itself by applying it to atomic formulas, disjunctions and existentially quantified subformulas, as in the Gödel–Gentzen negative translation. Here we show that there exists a similar translation of intuitionistic logic into itself which is more in the spirit of Kuroda’s negative translation. The key is (...) to apply the nucleus not only to the entire formula and universally quantified subformulas, but to conclusions of implications as well. (shrink)

We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call “non-deterministic inductive definitions”. We give applications to formal topology as well as a predicative justification of this principle.

Non-well-founded trees are used in mathematics and computer science, for modelling non-well-founded sets, as well as non-terminating processes or infinite data structures. Categorically, they arise as final coalgebras for polynomial endofunctors, which we call M-types. We derive existence results for M-types in locally cartesian closed pretoposes with a natural numbers object, using their internal logic. These are then used to prove stability of such categories with M-types under various topos-theoretic constructions; namely, slicing, formation of coalgebras , and sheaves for an (...) internal site. (shrink)

Recently, the second author, Briseid, and Safarik introduced nonstandard Dialectica, a functional interpretation capable of eliminating instances of familiar principles of nonstandard arithmetic—including overspill, underspill, and generalizations to higher types—from proofs. We show that the properties of this interpretation are mirrored by first-order logic in a constructive sheaf model of nonstandard arithmetic due to Moerdijk, later developed by Palmgren, and draw some new connections between nonstandard principles and principles that are rejected by strict constructivism. Furthermore, we introduce a variant of (...) the Diller–Nahm interpretation with two different kinds of quantifiers, similar to Hernest’s light Dialectica interpretation, and show that one can obtain nonstandard Dialectica by weakening the computational content of the existential quantifiers—a process called herbrandization. We also define a constructive sheaf model mirroring this new functional interpretation, and show that the process of herbrandization has a clear meaning in terms of these sheaf models. (shrink)

We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Löf's type theory. In addition, it is strong enough to prove the Set Compactness theorem and the results in formal topology which make use of this theorem. Moreover, it is stable under the standard constructions from algebraic set theory, namely exact completion, realizability models, forcing as well as (...) more general sheaf extensions. As a result, methods from our earlier work can be applied to show that this extension satisfies various derived rules, such as a derived compactness rule for Cantor space and a derived continuity rule for Baire space. Finally, we show that this extension is robust in the sense that it is also reflected by the model constructions from algebraic set theory just mentioned. (shrink)

We present a version of arithmetic in all finite types based on a systematic use of an internally definable notion of observational equivalence for dealing with equalities at higher types. For this system both intensional and extensional models are possible, the deduction theorem holds and the soundness of the Dialectica interpretation is provable inside the system itself.

Introduction to collection of papers by group of scholars and ACO missionaries brought together to discuss the developments within the ACO over the past hundred years during a conference that was organised by Dr Wilbert van Saane of Haigazian University in January 2021. I will briefly summarise what strikes me as characteristic of the ACO on the basis of these articles, and conclude with a discussion of how this may contribute to further reflection in Mission Studies and World Christianity.

In this interview with Jan Hendrik van den Berg, the Dutch phenomenologist and psychiatrist addresses the origins of his work, his most significant influences, and the purpose of metabletic phenomenology in the modern age. In the course of the interview. Dr. Van den Berg provides a basic overview of his work, and highlights the central finding of his metabletic analyses: a loss of wonder before nature, which results from the more fundamental loss of genuine spirituality in the modern world.

Het ethos waarin de mens leeft en handelt is in verandering zolang de mens leeft en handelt. In De maakbare moraal reflecteren verschillende filosofen over de antwoorden die het moderne en hedendaagse denken kunnen bieden op vragen die net door dat veranderend ethos tot stand worden gebracht. De idee dat moraal 'maakbaar' zou zijn houdt meteen ook een kritisch standpunt in: wat precies is er in onze morele omgang met elkaar dat beheersbaar, expliciteerbaar, voorstelbaar... zou kunnen zijn? De maakbare moraal (...) bundelt bijdragen van Daniel Acke, Hans Alma, Sonja Lavaert, Julia Maria Mönig, Johan Stuy en Adelheid Rigo, Marc Van den Bossche, Yoni Van Den Eede, Karl Verstrynge en Else Walravens. De reeks Humanismen wil het denken over de hedendaagse condition humaine op een prikkelende en eigenzinnige manier stimuleren. Het begrip humanisme krijgt hier een zeer ruime omschrijving: respect voor de mens in zijn diversiteit en pluraliteit en voor de manier waarop individuen zoeken naar identiteit en zingeving. De reeks komt tot stand onder begeleiding van prof. dr. Marc Van den Bossche van de vakgroep Wijsbegeerte en Moraalwetenschappen van de Vrije Universiteit Brussel. (shrink)

De redactie van Philosophia Reformata heeft aan prof. Brümmer, dr. Sarot en ondergetekende gevraagd te reageren op hetgeen prof. Geertsema in twee bijdragen aan dit nummer over de zogenoemde ‘Utrechtse school’ in de wijsgerige theologie te berde brengt. Aangezien het minder gebruikelijk is om als auteurs c.q. redacteuren te reageren op een boekrecensie, gaan onze duplieken vooral in op het zelfstandige artikel dat Geertsema wijdt aan de theologie van Brümmer. Toch willen we graag ook beknopt reageren op de recensie, die (...) immers de vorm gekregen heeft van een tamelijk uitvoerige ‘kritische studie’, en daarmee toch eigenlijk ook van een min of meer zelfstandige bijdrage. (shrink)

This article contributed to a project about Nature and Theology (Prof. Dr. J. Buitendag). The text questioned why our modern concept of nature must be reformulated in a contemporary concept of nature as the anthropocentrism of the modern concept of nature is criticised by a growing knowledge about the cohesion of many phenomena in the evolution of life on planet Earth. This criticism confronts theologians with fundamental deficiencies in their ongoing anthropological approach of life, especially human life. The article looked (...) for a reinterpretation of mystical texts of Gregory of Nyssa in order to question whether this offers a new framework of a theological approach of a contemporary concept of nature. Contribution: Within the project about Nature and Theology new questions arise as the concept of Nature has to be reformulated based on new insights in the evolution of life. Within the debates about the Anthropocene, the planet Earth is approached as being a living reality in one way or another. So theologians have to look for new theological approaches as well. This article suggested that concepts of Gregory of Nyssa contribute in this respect. (shrink)

Die prospektive Analyse der ethischen Implikationen medizinisch-technischer Innovationen läuft immer auch Gefahr, sich in den Wunschbildern von Marketingexperten zu verfangen. Vor diesem Hintergrund könnte es durchaus nützlich sein, die Erkenntnisse der Wissenschafts- und Technikforschung zur Genese und Entwicklung neuer Techniken auszuschöpfen. Dies erscheint gerade auch für die ins Phantastische weisende Zukunft der Individualisierung medikamentöser Therapie, wie man ihr häufig in der Beschreibung pharmakogenetischer Behandlungskonzepte begegnet, angebracht. Techniken, die sich noch im Entwicklungsstadium befinden und deren breite Anwendung noch einige Jahre auf (...) sich warten lassen wird, sollten sehr sorgfältig auf ihren Realitätsgehalt und das zu erwartende Leistungspotenzial hin analysiert werden. Dazu gehört v. a. auch eine kritische Auseinandersetzung mit den Leitbildern, Visionen und Nutzenversprechen, mit denen technische Innovationen oft sehr absichtsvoll ausgestattet werden. Wird dabei die Distanz zur Rhetorik der Protagonisten der neuen Techniken nicht gewahrt, gerät die ethische Reflexion unvermittelt in die Rolle, profane Marketingstrategien wortgewandt und ideenreich zu veredeln. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Herman Daly’s Economics for a Full World: His Life and Ideas by Peter VictorJeroen Van Den Bergh (bio)Victor, Peter (2022). Herman Daly’s Economics for a Full World: His Life and Ideas. Routledge, Oxon UK and New York USA (ISBN: 978–0–367-55694-5).Herman Daly (1938–2022) spent a lifetime thinking about how to achieve a sustainable economy. In an inclusive biography, Canadian economist and environmental scientist Peter Victor discusses his ideas, critiques (...) and debates with others, while clarifying his motivations and struggles. Daly has greatly influenced others, as reflected by numerous prizes awarded to him. This influence is confirmed by original text boxes in the book that contain statements of many colleagues about his work and person, obtained through a questionnaire survey by the author.As a young man, Daly decided to study economics as he imagined it combined humanities and science. He was disappointed in it being less scientific than hoped, but his environmental concern motivated him to work on reestablishing the foundations of the field in environmental science and ethics. Daly is best known for his critique of economic growth and his alternative of the “steady-state economy.” He contributed, however, many other novel concepts and ideas during his lifetime, such as the ends-means spectrum, empty vs full world, uneconomic growth and optimal scale.Victor explains these ideas in a calm pace, showing a deep knowledge of Daly’s work. He, moreover, is able to connect it to ongoing sustainability research. He does all this in the course of thirteen chapters, covering Daly’s early life, education and career, his views on economics, his personal philosophy and the role of religion, his proposal for a steady-state economy, and his opinions on economic growth, population and migration, money and banking, and the perils of trade. [End Page 117]Ultimate endsMany consider Herman Daly to be a heterodox and even heretic economist. He associates himself with ecological economics, the field he co-founded. But while some of his ideas seem radical, many of his core proposals do not deviate substantially from mainstream economics. For instance, his “ultimate ends” concept is perfectly consistent with the broad notion of “welfare” in standard economics. In line with this, many welfare economists—such as Samuelson (1961), Mishan (1967), Hirsch (1976), Sen (1976), Scitovsky (1976) and Frank (1985)—have expressed themselves as critical of GDP (gross domestic product) dominance and growthmania (van den Bergh 2009). In fact, neoclassical economics is not married to economic growth—this is more the empirical side of macroeconomics. While Daly recognizes these subtleties, some of his followers do not.Daly sees his Protestant religion as delivering the ultimate ends, but Victor notes that this has not led to concrete suggestions. Ultimate ends based in Christian religion may be motivated by the promise of eternal (after)life, which in effect means gratifying selfish preferences. Instead, a humanistic perspective—which Daly also seems to embrace—would stress solidarity with future generations and a bioethical view of solidarity with other species. These distinct viewpoints, combined with diversity of human preferences and experiences, suggest that it will be difficult if not impossible for democratic societies to agree upon ultimate means.The Index of Sustainable Economic Welfare (ISEW), a kind of greened or sustainable GDP metric, is Daly’s most concrete elaboration of ultimate means (Daly and Cobb 1989). For many OECD (Organization for Economic Cooperation and Development) countries, it indicates a stabilization of welfare, despite continued GDP growth (Lawn 2003; Posner and Costanza 2011). As clarified by Victor, The ISEW remains close to GDP, produces a monetary measure, has a simple and transparent calculation method, and received considerably attention from theoretical and empirical angles. In view of this, it may well represent the best candidate for a beyond-GDP metric that can replace the GDP. What urgently fails is an effective institutional procedure to achieve its widespread adoption (van den Bergh 2022).Religion, evolution and biodiversityDaly’s religious standpoint make him skeptical of the modern scientific worldview which regards the world to be governed by materialism and evolution, with no role for a higher purpose or an ultimate end. This led him... (shrink)

The literature on the epistemology of ignorance already discusses how certain forms of discrimination, such as racism and sexism, are perpetuated by the ignorance of individuals and groups. However, little attention has been given to how speciesism—a form of discrimination on the basis of species membership—is sustained through ignorance_._ Of the few animal ethicists who explicitly discuss ignorance, none have related this concept to speciesism as a form of discrimination. However, it is crucial to explore this connection, I argue, as (...) ignorance is both an integral part of the injustice done to animals as well as an obstacle to improving their treatment. In order to adequately criticize sustained structural speciesism and injustices towards animals, I develop an epistemological account of ‘speciesist ignorance’. I begin by defining and distinguishing between individual and group-based accounts of speciesist ignorance. I argue that humans, taken as a group, enjoy a position of privilege, which allows them to comfortably remain ignorant of their participation in collective wrongdoings towards animals. Additionally, I point out that speciesist ignorance is structurally encouraged and thereby maintains the dominant view that the human-animal-relationship, as it stands, is just. In sum, this article lays the groundwork for a social epistemology of speciesist ignorance. In particular, it informs further debate about individual and institutional epistemic duties to inquire into speciesism and to inform the public, about the moral culpability of ignorant actions, and about effective animal advocacy and policy which actively rejects speciesist ignorance. (shrink)

In the present paper I investigate the role that analogy plays in eighteenth-century biology and in Kant’s philosophy of biology. I will argue that according to Kant, biology, as it was practiced in the eighteenth century, is fundamentally based on analogical reflection. However, precisely because biology is based on analogical reflection, biology cannot be a proper science. I provide two arguments for this interpretation. First, I argue that although analogical reflection is, according to Kant, necessary to comprehend the nature of (...) organisms, it is also necessarily insufficient to fully comprehend the nature of organisms. The upshot of this argument is that for Kant our understanding of organisms is necessarily limited. Second, I argue that Kant did not take biology to be a proper science because biology was based on analogical arguments. I show that Kant stemmed from a philosophical tradition that did not assign analogical arguments an important justificatory role in natural science. Analogy, according to this conception, does not provide us with apodictically certain cognition. Hence, sciences based on analogical arguments cannot constitute proper sciences. (shrink)

Women often embody the central values and practices of their religious tradition. When they leave their community, women find a part of the “religious tapestry” remaining with them long after their disengagement. In this article, we draw from research in the UK and Finland to explore women’s efforts to unlearn parts of their former religious belonging. We draw on in total thirty-five interviews with women who disengaged from the Mormon Church, Jehovah’s Witnesses and Conservative Laestadianism. We conceptualize un/learning as a (...) multi-layered process consisting of both un-learning and re-learning. We explore women’s narratives about negotiating bodily limits, conduct and belonging, and understand these as suggesting experiences of a threefold un/learning: gendered, spatial-social and epistemic. We argue that examining gendered and embodied un/learning helps to understand women’s disengagement processes from minority Christian traditions in Western and Northern European secularized contexts such as the UK and Finland. (shrink)

[Masaryk and Korsgaard on God and Moral Obligation: Toward a Moral Argument for the Existence of God].

Are psychiatric disorders natural kinds? This question has received a lot of attention within present-day philosophy of psychiatry, where many authors debate the ontology and nature of mental disorders. Similarly, historians of psychiatry, dating back to Foucault, have debated whether psychiatric researchers conceived of mental disorders as natural kinds or not. However, historians of psychiatry have paid little to no attention to the influence of (a) theories within logic, and (b) theories within metaphysics on psychiatric accounts of proper method, and (...) on accounts of the nature and classification of mental disorders. Historically, however, logic and metaphysics have extensively shaped methods and interpretations of classifications in the natural sciences. This paper corrects this lacuna in the history of psychiatry, and demonstrates that theories within logic and metaphysics, articulated by Christian Wolff (1679-1754), have significantly shaped the conception of medical method and (psychiatric) nosology of the influential nosologist Boissier De Sauvages (1706-1767). After treating Sauvages, I discuss the method of the influential nosologist William Cullen (1710-1790), and demonstrate the continuity between the classificatory methods of Sauvages and Cullen. I show that both Sauvages and Cullen were essentialists concerning medical diseases in general and psychiatric disorders in particular, contributing to the history of conceptions of the ontology and nature of mental disorders. (shrink)

This paper analyzes debates on animal language in eighteenth-century German philosophy and science. Adopting a history of ideas approach, I explain how the study of animal language became tied to the investigation into the origin and development of language towards the end of the eighteenth century. I argue that for large parts of the eighteenth century, the question of the existence of animal languages was studied within the context of the philosophical question of whether animals possess reason. In Germany, the (...) debate concerning animal reason was influenced by Christian Wolff and was taken up by diverse thinkers such as Winkler, Meier, and Reimarus. I argue that in the second half of the eighteenth century the study of animal language became more loosely related to the question of whether animals possess reason: animal language was studied not only in light of the debate on animal reason but also because it sheds light on the nature of animals, on the differences and similarities between animals and humans, and on the origin and development of language. This systematic study of animal language coincided with the rise of linguistics, anthropology, and biology as independent sciences. (shrink)

People often say that humans are omnivores in order to justify eating meat as normal and veganism as abnormal. The is one of the arguments that vegetarians and vegans encounter when meat-eaters try to defend the moral acceptability of body parts on their plate. When responding to this argument, the position of the vegan is similar to the atheist who time and again is confronted with the same fallacious arguments in support of the existence of god(s). Veganism and atheism are (...) both ethical default positions. Similarly, not killing other people is also a default position. (shrink)